1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Intriduction to logic and to the methodology of deductive sciendes
پدیدآورنده : / By Alfred Tarski
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Arithmetic - Foundations
رده :
510
.
1
Ta-I
3. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
پدیدآورنده : \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
کتابخانه: (طهران)
موضوع : ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
4. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
پدیدآورنده : /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
5. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
6. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
BC135
،.
I5
1965
7. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
8. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
9. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
